-
1 deducible formula
Большой англо-русский и русско-английский словарь > deducible formula
-
2 deducible formula
Математика: выводимая формула -
3 deducible formula
мат. -
4 deducible
выводимый formally deducible theorem ≈ формально выводимая теорема - deducible formula - deducible rule - deducible rules - deducible sentence - deducible theorem( from) выводимыйБольшой англо-русский и русско-английский словарь > deducible
-
5 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
6 выводимая формула
Большой англо-русский и русско-английский словарь > выводимая формула
См. также в других словарях:
deducible — ► adjetivo 1 Que puede deducirse: ■ impuesto deducible; concepto deducible. 2 LÓGICA Se aplica a la fórmula de cuyas hipótesis existe una deducción. * * * deducible adj. Susceptible de ser deducido. * * * deducible. adj. Que puede ser deducido.… … Enciclopedia Universal
Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… … Wikipedia
Teorema de la deducción — El teorema de la deducción es un metateorema de la lógica proposicional, la lógica de primer orden y otros sistemas lógicos, que es bastante utilizado para demostrar otros metateoremas.[1] Se trata de una formalización de la técnica de… … Wikipedia Español
Medicare — El Presidente Lyndon Johnson firmando la creación de Medicare. El Ex Presidente Harry S. Truman y su esposa, Bess, aparecen en el extremo izquierdo … Wikipedia Español
History of logic — Philosophy ( … Wikipedia
Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia
Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… … Wikipedia Español
Teorema de equipartición — Figura 1. Movimiento térmico de un péptido tipo hélice α. El movimiento vibratorio es aleatorio y complejo, y la energía de un átomo en particular puede fluctuar ampliamente. Sin embargo, el teorema de equipartición permite que se pueda calcular… … Wikipedia Español
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Axiomas de Zermelo-Fraenkel — Los axiomas de Zermelo Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos. Normalmente se abrevian como ZF o en su forma más común, complementados por el axioma de… … Wikipedia Español